Automated Model - based GUI Test Cases Generation from Use Cases

Mostly of today’s computer users interact with the software through a graphical user interface (GUI). In software engineering, software testing and quality have become a topic of major concern. Software testing is today an important stage in software projects and GUI testing is also crucial to the solution ́s quality. Nevertheless, GUI testing is not an easy task, it ́s very time consuming and too expensive. Model-based testing is a recent approach that helps to systematize the GUI testing process. However, this technique is not widely applied to GUI Testing and does not support Test Web Applications Testing. Taking advantage of a higher degree of automation, the purpose of this work is to study and develop the generation of Model-based GUI test cases from high-level models of software. This tool will automatize the process of generating GUI Test Cases from semi-formal models like there are UML Use Case or Activity Diagrams. These models can eventually generate executable tests with UML + action language. They also can be enriched with contracts (pre and post-conditions) in order to achieve a higher level of automation in Test Case generation. Success in the resulting tool proposed in the work, would turn GUI Testing more systematic,automated and accessible to a much wide range and variety of users.